is linux better for developers